Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
141	REGULAR TREE LANGUAGE RECOGNITION WITH STATIC INFORMATION Alain Frisch École Normale Supérieure Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:26 Tree automaton Pushdown automaton Symbol Finite-state machine Automata theory Theoretical computer science Computer science
142	Automated Hierarchy Discovery for Planning in Partially Observable Environments Laurent Charlin & Pascal Poupart David R. Cheriton School of Computer Science Faculty of Mathematics Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2007-11-23 03:02:24 Applied mathematics Dynamic programming Stochastic control Computability theory Recursion Mathematical optimization Control theory Finite-state machine Markov decision process Statistics Markov processes Mathematical sciences
143	1596 IEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING, VOL. 14, NO. 5, SEPTEMBER 2006 Advances in Speech Transcription at IBM Under the DARPA EARS Program Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-11-14 12:56:40 Computational linguistics Computer accessibility Speech recognition Science Mathematics Hidden Markov model Viterbi algorithm Viterbi decoder Finite-state machine Markov models Error detection and correction Statistics
144	Microsoft PowerPoint - Keeping_up_in_Conversation.ppt Add to Reading List Source URL: www.cs.northwestern.edu Language: English - Date: 2005-05-26 21:32:26 Digital electronics Finite-state machine Negotiation Business Models of computation Automata theory
145	IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 2, FEBRUARYFeedback Can Reduce the Specification Complexity of Motor Programs Add to Reading List Source URL: hrl.harvard.edu Language: English - Date: 2003-11-10 22:28:54 Computer science Formal methods Finite-state machine Nondeterministic finite automaton State Büchi automaton Automata theory Models of computation Theoretical computer science
146	Microsoft PowerPoint22_DSM_short.pptx Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2012-10-25 07:21:57 Software Computing Kermeta Models of computation Metamodeling Semantics Modeling language Finite-state machine SIGNAL Unified Modeling Language Software engineering Scientific modeling
147	A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems ∗ Holger Giese,1 Stefan Henkler2 and Martin Hirsch2 1 System Analysis and Modeling Group, Hasso Plattner Institute at the Uni Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:37:34 Diagrams Systems science Structure Systems theory Digital electronics Unified Modeling Language Finite-state machine Hybrid system System Science UML diagrams Cybernetics
148	Managing Digital Rights using Linear Logic Adam Barth Stanford University Abstract Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:10:18 Copyright law Digital rights management PlayReady OMA DRM Monotonic function Entailment Finite-state machine Logic Mathematics Models of computation
149	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
150	MASTER OF TECHNOLOGY (M. TECH.) IN COMPUTER SCIENCE 1 SCOPE The Master of Technology in Computer Science course is offered in Kolkata. The course is designed to provide a balanced mixture of theoretical and professional Add to Reading List Source URL: www.isical.ac.in Language: English - Date: 2012-07-17 06:35:27 Data structure Programming language Ada Search engine indexing The Art of Computer Programming Finite-state machine Actor model Addison-Wesley Queue Computing Software engineering Information science

UPDATE